given (Int => Int) = identity[Int]